Frankfurt am Main , March 1995 Dynamic Minimization of OKFDDs
نویسندگان
چکیده
We present methods for the construction of small Ordered Kronecker Functional Decision Diagrams (OKFDDs). OKFDDs are a generalization of Ordered Binary Decision Diagrams (OBDDs) and Ordered Functional Decision Diagrams (OFDDs) as well. Our approach is based on dynamic variable ordering and decomposition type choice. For changing the decomposition type we use a new more eecient method. The quality of our methods, e.g. in comparison with sifting and interleaving for OBDDs, is demonstrated by experimental results.
منابع مشابه
Dynamic minimization of OKFDDs
We present methods for the construction of small Ordered Kronecker Functional Decision Diagrams (OKFDDs). OKFDDs are a generalization of Ordered Binary Decision Diagrams (OBDDs) and Ordered Functional Decision Diagrams (OFDDs) as well. Our approach is based on dynamic variable ordering and decomposition type choice. For changing the decomposition type we use a new method. We brieey discuss the ...
متن کاملVariational Identification of Markovian Transition States
Linda Martini, Adam Kells, Roberto Covino, Gerhard Hummer, Nicolae-Viorel Buchete, and Edina Rosta Department of Chemistry, King’s College London, SE1 1DB London, United Kingdom Department of Theoretical Biophysics, Max Planck Institute of Biophysics, 60438 Frankfurt am Main, Germany Institute of Biophysics, Goethe University Frankfurt, 60438 Frankfurt am Main, Germany School of Physics and Ins...
متن کاملMinimization of OKFDDs by Genetic Algorithms
A Genetic Algorithm (GA) is applied to minimize the size of Ordered Kronecker Functional Decision Diagrams (OKFDDs). Our approach chooses a good variable ordering and decomposition type list in parallel. We apply our minimization algorithm to technology mapping for FPGAs. Experimental results are given to show the eeciency of our approach.
متن کاملAutomatische Segmentierung des Corpus Callosum aus sagittalen Schichten von kernspintomographischen Datensätzen
Brain Imaging Center, Universität Frankfurt am Main, Schleusenweg 2-16, 60528 Frankfurt am Main Labor für Neurophysiologie und Neuroimaging, Universitätsklinikum Frankfurt, Zentrum der Psychiatrie, Heinrich-Hoffmann-Str. 10, 60528 Frankfurt am Main Definiens AG, Trappentreustraße 1, 80339 München School of Psychology, University of Wales, LL57 2AS Bangor, U.K. Email: [email protected]...
متن کاملA Genetic Algorithm for the Construction of Small and Highly Testable OKFDD-Circuits
A Genetic Algorithm (GA) is applied to derive circuits that combine area eeciency and testability. These circuits are obtained from Ordered Kronecker Functional Decision Diagrams (OKFDDs). In \Becker and Drechsler (1995)" a heuristic approach has been presented. In this paper we show how these results can further be improved by GAs. Finally , we apply our minimization algorithm to technology ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995